Islands

Generation of the Ahlfors Five Islands Theorem

String Islands

We discuss string theories with small numbers of non-compact moduli and describe constructions of string theories whose low-energy limit is described by various pure supergravity theories. We also construct a D = 4, N = 4 compactification of type II string theory with 34 vector fields.

Formal Islands

Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like pattern matching or strategic rewriting, we introduce the Formal Islands framework. The main idea consists to integrate, in existing programs, formally defined parts called Islands, on which proofs and tests can be meaningfully ...

Genomic islands of speciation or genomic islands and speciation?

Populations of the malaria mosquito, Anopheles gambiae, are comprised of at least two reproductively isolated, sympatric populations. In this issue, White et al. (2010) use extensive sampling, high-density tiling microarrays, and an updated reference genome to clarify and expand our knowledge of genomic differentiation between these populations. It is now clear that DNA near the centromeres of ...

The Land Mollusca of the Treasury Islands, Solomon Islands

IN THE COURSE of war service in the Solomon Islands the writer was stationed on Stirling Island in the Treasuries from December 10, 1943, ro January 13, 1944. A collection of land snails was made and subsequently this was supplemented by a collection made on Mono Island at about the same time by Me. N. Gardner. Smith (1885) recorded a number of species collected by _Guppy from the group, but si...